961. Uhlig's corrosion handbook
پدیدآورنده : / edited by R. Winston Revie
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Corrosion and anti-corrosives, Handbooks, manuals, etc
رده :
TA462
.
U4
2011
962. Uhlig's corrosion handbook /
پدیدآورنده : edited by R. Winston Revie
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Corrosion and anti-corrosives, Handbooks, manuals, etc
رده :
TA462
.
U4
2011
963. Ultra-low energy domain-specific instruction-set processors /
پدیدآورنده : Francky Catthoor ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Embedded computer systems-- Design and construction.,Computer architecture.,Computer science.,ISP (Computer program language),Microprocessors-- Programming.
رده :
TK7885
.
U48
2010
964. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده : by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
965. Universal Access and Assistive Technology
پدیدآورنده : edited by Simeon Keates, Patrick Langdon, P. John Clarkson, Peter Robinson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biomedical engineering.,Computer science.,Computer vision.,Engineering design.,Engineering.,Rehabilitation.
966. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
967. Using the engineering literature /
پدیدآورنده : edited by Bonnie A. Osif.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering-- Computer network resources.,Technical literature.,Documentation technique.,Ingénierie-- Information électronique.,Engineering-- Computer network resources.,Technical literature.
رده :
T10
.
7
.
U85
2006
968. Utilizing information technology systems across disciplines :
پدیدآورنده : Evon M.O. Abu-Taieh, Asim A. El-Sheikh, Jeihan Abu-Tayeh, [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information resources management.,Information technology.,Management information systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information resources management.,Information technology.,Management information systems.
رده :
T58
.
5
.
U88
2009eb
969. VHDL-2008 :
پدیدآورنده : Peter J. Ashenden, Jim Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VHDL (Computer hardware description language),COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,VHDL (Computer hardware description language),VHDL (Computer hardware description language)
رده :
TK7885
.
7
.
A846
2008eb
970. VLSI - Compatible Implementations for Artificial Neural Networks
پدیدآورنده : by Sied Mehdi Fakhraie, Kenneth Carless Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
971. VR, simulations and serious games for education /
پدیدآورنده : editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87
972. Variation Principle in Informational Macrodynamics
پدیدآورنده : by Vladimir S. Lerner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.
973. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
974. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
975. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
976. Video coding standards :AVS China, H.264/MPEG-4 PART 10, HEVC, VP6, DIRAC and VC-1
پدیدآورنده : Rao, K. R., K.R. Rao, Do Nyeon Kim, Jae Jeong Hwang
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Standards ، Digital video,، Physics,، Physics, general,، Communications Engineering, Networks,، Coding and Information Theory,، Computer Science, general
رده :
TK6680
.
5
977. Vision Chips
پدیدآورنده : by Alireza Moini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer vision.
978. Visual Basic for Testers
پدیدآورنده : by Mary Romero Sweeney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
979. Visual content indexing and retrieval with psycho-visual models
پدیدآورنده : Benois-Pineau, Jenny
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Pattern recognition systems,، Content-based image retrieval,، COMPUTERS / General
رده :
TA
1637
.
V65
2017
980. Visualization in Scientific Computing
پدیدآورنده : edited by Michel Grave, Yvon Lous, W. Terry Hewitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1994
